Add typed/racket/stream
#1300
Add typed/racket/stream
#1300
Conversation
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
There was a problem hiding this comment.
Resyntax analyzed 0 files in this pull request and found no issues.
There was a problem hiding this comment.
Resyntax analyzed 0 files in this pull request and found no issues.
There was a problem hiding this comment.
Resyntax analyzed 0 files in this pull request and found no issues.
There was a problem hiding this comment.
Resyntax analyzed 0 files in this pull request and found no issues.
There was a problem hiding this comment.
Resyntax analyzed 0 files in this pull request and found no issues.
There was a problem hiding this comment.
Resyntax analyzed 0 files in this pull request and found no issues.
|
Arguably resyntax shouldn't need to run each time I edit the OP |
There was a problem hiding this comment.
Resyntax analyzed 0 files in this pull request and found no issues.
There was a problem hiding this comment.
Resyntax analyzed 0 files in this pull request and found no issues.
This PR is postponed. An RFC needs made first, and changes to core typed/racket need made for this to work.
(StreamOf Type)is very much needed.I am by no means "claiming" this
typed/racket/streamproject. Streams are needed, and if anyone else gets to it first i'll be very happy.See #970 and perhaps others.
StreamOfoverStream?